: （∀x）（Bx→Gx）“所有北大学生(Sx)都是聪明的(Px)” 这一命题的逻辑形式，可用谓词公式表示为（）。